Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
نویسندگان
چکیده
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language SIGNAL.
منابع مشابه
Polychronous modeling, analysis, verification and simulation for timed software architectures
High-level modeling languages and standards, such as Simulink, SysML, MARTE and AADL (Architecture Analysis & Design Language), are increasingly adopted in the design of embedded systems so that system-level analysis, verification and validation (V&V) and architecture exploration are carried out as early as possible. This paper presents our main contribution in this aim by considering embedded ...
متن کاملAddressing Variability in a Guidance, Navigation, and Control Flight Software Product Line
The NASA Goddard Space Flight Center is developing a guidance, navigation, and control flight software product line that includes both processes and their accompanying products. The processes include a domain and application engineering process that have been influenced by Synthesis[1] and FAST[2]. The products include graphical and textual analysis/design documents and the flight software repo...
متن کاملReal-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
(ABSTRACT) As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal synchronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions to MRICDF so that temporal properties of embedded systems can also be proven. We adapt th...
متن کاملGenerating Multi-Threaded code from Polychronous Specifications
SIGNAL, Lustre, Esterel, and a few other synchronous programming language compilers accomplish automated sequential code generation from synchronous specifications. In generating sequential code, the concurrency expressed in the synchronous programs is sequentialized mostly because such embedded software was designed to run on single-core processors. With the widespread advent of multi-core pro...
متن کاملTimed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
High-level modelling languages and standards, such as Simulink, UML, SysML, MARTE and AADL (Architecture Analysis & Design Language), meet increasing adoption in the design of embedded systems in order to carry out system-level analysis, verification and validation (V&V) and architecture exploration, as early as possible. These analysis, V&V, architecture exploration techniques rely on mathemat...
متن کامل